Optimal. Leaf size=43 \[ -\frac {\log (\cos (c+d x))}{(a+b) d}+\frac {\log \left (a+b \sin ^2(c+d x)\right )}{2 (a+b) d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 43, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {3273, 36, 31}
\begin {gather*} \frac {\log \left (a+b \sin ^2(c+d x)\right )}{2 d (a+b)}-\frac {\log (\cos (c+d x))}{d (a+b)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 36
Rule 3273
Rubi steps
\begin {align*} \int \frac {\tan (c+d x)}{a+b \sin ^2(c+d x)} \, dx &=\frac {\text {Subst}\left (\int \frac {1}{(1-x) (a+b x)} \, dx,x,\sin ^2(c+d x)\right )}{2 d}\\ &=\frac {\text {Subst}\left (\int \frac {1}{1-x} \, dx,x,\sin ^2(c+d x)\right )}{2 (a+b) d}+\frac {b \text {Subst}\left (\int \frac {1}{a+b x} \, dx,x,\sin ^2(c+d x)\right )}{2 (a+b) d}\\ &=-\frac {\log (\cos (c+d x))}{(a+b) d}+\frac {\log \left (a+b \sin ^2(c+d x)\right )}{2 (a+b) d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 37, normalized size = 0.86 \begin {gather*} \frac {-2 \log (\cos (c+d x))+\log \left (a+b-b \cos ^2(c+d x)\right )}{2 a d+2 b d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.38, size = 42, normalized size = 0.98
method | result | size |
derivativedivides | \(\frac {\frac {\ln \left (a +b -b \left (\cos ^{2}\left (d x +c \right )\right )\right )}{2 a +2 b}-\frac {\ln \left (\cos \left (d x +c \right )\right )}{a +b}}{d}\) | \(42\) |
default | \(\frac {\frac {\ln \left (a +b -b \left (\cos ^{2}\left (d x +c \right )\right )\right )}{2 a +2 b}-\frac {\ln \left (\cos \left (d x +c \right )\right )}{a +b}}{d}\) | \(42\) |
risch | \(-\frac {\ln \left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right )}{d \left (a +b \right )}+\frac {\ln \left ({\mathrm e}^{4 i \left (d x +c \right )}-\frac {2 \left (2 a +b \right ) {\mathrm e}^{2 i \left (d x +c \right )}}{b}+1\right )}{2 d \left (a +b \right )}\) | \(65\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.32, size = 43, normalized size = 1.00 \begin {gather*} \frac {\frac {\log \left (b \sin \left (d x + c\right )^{2} + a\right )}{a + b} - \frac {\log \left (\sin \left (d x + c\right )^{2} - 1\right )}{a + b}}{2 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.41, size = 37, normalized size = 0.86 \begin {gather*} \frac {\log \left (-b \cos \left (d x + c\right )^{2} + a + b\right ) - 2 \, \log \left (-\cos \left (d x + c\right )\right )}{2 \, {\left (a + b\right )} d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\tan {\left (c + d x \right )}}{a + b \sin ^{2}{\left (c + d x \right )}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 110 vs.
\(2 (41) = 82\).
time = 0.48, size = 110, normalized size = 2.56 \begin {gather*} \frac {\frac {\log \left (a - \frac {2 \, a {\left (\cos \left (d x + c\right ) - 1\right )}}{\cos \left (d x + c\right ) + 1} - \frac {4 \, b {\left (\cos \left (d x + c\right ) - 1\right )}}{\cos \left (d x + c\right ) + 1} + \frac {a {\left (\cos \left (d x + c\right ) - 1\right )}^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}}\right )}{a + b} - \frac {2 \, \log \left ({\left | -\frac {\cos \left (d x + c\right ) - 1}{\cos \left (d x + c\right ) + 1} - 1 \right |}\right )}{a + b}}{2 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 14.51, size = 28, normalized size = 0.65 \begin {gather*} \frac {\ln \left (\left (a+b\right )\,{\mathrm {tan}\left (c+d\,x\right )}^2+a\right )}{d\,\left (2\,a+2\,b\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________